How Charlie Munger Actually Made Money With Options